Z-Library پر تلاش کریں Hans Hermes (auth.):

علم اور ثقافت کا آپ کا گیٹ وے۔ سب کے لیے قابل رسائی۔

Don't use scam websites

کتابیں (17)
سب سے مشہور
فہرست
- فہرست
- جدول

1

Einführung in die mathematische Logik: Klassische Prädikatenlogik

Einführung in die mathematische Logik: Klassische Prädikatenlogik

Vieweg+Teubner Verlag

Dr. rer. nat. Hans Hermes (auth.)

سال:

1972

زبان:

german

فائل:

PDF, 6.29 MB

0 / 0

german, 1972

2

Eine Termlogik mit Auswahloperator

Eine Termlogik mit Auswahloperator

Springer Berlin Heidelberg

Hans Hermes (auth.)

سال:

1965

زبان:

german

فائل:

DJVU, 256 KB

0 / 0

german, 1965

3

Zahlen

Zahlen

Springer-Verlag Berlin Heidelberg

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Lamotke, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert (auth.)

سال:

1992

زبان:

german

فائل:

PDF, 14.95 MB

0 / 0

german, 1992

4

Numbers

Numbers

Springer-Verlag New York

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert (auth.)

سال:

1991

زبان:

english

فائل:

PDF, 18.77 MB

0 / 0

english, 1991

5

Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions

Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions

Springer Berlin Heidelberg

Hans Hermes (auth.)

سال:

1965

زبان:

english

فائل:

PDF, 6.63 MB

0 / 0

english, 1965

6

Introduction to Mathematical Logic

Introduction to Mathematical Logic

Springer-Verlag Berlin Heidelberg

Dr. Hans Hermes (auth.)

سال:

1973

زبان:

english

فائل:

PDF, 6.99 MB

0 / 0

english, 1973

7

Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions

Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions

Springer-Verlag Berlin Heidelberg

Prof. Dr. Hans Hermes (auth.)

سال:

1969

زبان:

english

فائل:

PDF, 11.51 MB

0 / 0

english, 1969

8

Die vier Wissenschaften der Pythagoreer. Hundert Jahre formale Logik: 247. Sitzung am 1. Dezember 1976 in Düsseldorf

Die vier Wissenschaften der Pythagoreer. Hundert Jahre formale Logik: 247. Sitzung am 1. Dezember 1976 in Düsseldorf

VS Verlag für Sozialwissenschaften

Bartel Leendert van der Waerden, Hans Hermes (auth.)

سال:

1977

زبان:

german

فائل:

PDF, 1.17 MB

0 / 0

german, 1977

9

Aufzählbarkeit Entscheidbarkeit Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen

Aufzählbarkeit Entscheidbarkeit Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen

Springer-Verlag Berlin Heidelberg

Professor Dr. Hans Hermes (auth.)

سال:

1978

زبان:

german

فائل:

PDF, 9.30 MB

0 / 0

german, 1978

10

Zahlen

Zahlen

Springer Berlin Heidelberg

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Lamotke, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert (auth.)

سال:

1988

زبان:

german

فائل:

PDF, 10.86 MB

0 / 0

german, 1988

11

Einführung in die Verbandstheorie

Einführung in die Verbandstheorie

Springer-Verlag Berlin Heidelberg

Prof. Dr. Hans Hermes (auth.)

سال:

1967

زبان:

german

فائل:

PDF, 9.18 MB

0 / 0

german, 1967

12

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen

Springer Berlin Heidelberg

Professor. Dr. Hans Hermes (auth.)

سال:

1971

زبان:

german

فائل:

PDF, 7.06 MB

0 / 0

german, 1971

13

Zahlen

Zahlen

Springer-Verlag Berlin Heidelberg

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Alexander Prestel, Reinhold Remmert (auth.)

سال:

1983

زبان:

german

فائل:

PDF, 22.16 MB

0 / 0

german, 1983

14

Die Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien

Die Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien

VS Verlag für Sozialwissenschaften

Hans Hermes (auth.)

سال:

1967

زبان:

german

فائل:

PDF, 882 KB

0 / 0

german, 1967

15

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der Rekursiven Funktionen

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der Rekursiven Funktionen

Springer Berlin Heidelberg

Hans Hermes (auth.)

سال:

1961

زبان:

german

فائل:

PDF, 8.39 MB

0 / 0

german, 1961

16

Einführung in die Verbandstheorie

Einführung in die Verbandstheorie

Springer Berlin Heidelberg

Hans Hermes (auth.)

سال:

1955

زبان:

german

فائل:

PDF, 9.04 MB

0 / 0

german, 1955

17

Eine Termlogik mit Auswahloperator

Eine Termlogik mit Auswahloperator

Springer-Verlag Berlin Heidelberg

Hans Hermes (auth.)

سال:

1965

زبان:

english

فائل:

PDF, 2.00 MB

0 / 0

english, 1965